On a metric generalization of the $tt$-degrees and effective dimension theory
نویسنده
چکیده
In this article, we study an analogue of $tt$-reducibility for points in computable metric spaces. We characterize the notion of the metric $tt$-degree in the context of first-level Borel isomorphism. Then, we study this concept from the perspectives of effective topological dimension theory and of effective fractal dimension theory.
منابع مشابه
Contractive gauge functions in strongly orthogonal metric spaces
Existence of fixed point in orthogonal metric spaces has been initiated recently by Eshaghi and et al. [On orthogonal sets and Banach fixed Point theorem, Fixed Point Theory, in press]. In this paper, we introduce the notion of the strongly orthogonal sets and prove a genuine generalization of Banach' fixed point theorem and Walter's theorem. Also, we give an example showing that our main theor...
متن کاملA generalization of Kannan and Chatterjea fixed point theorems on complete $b$-metric spaces
In this paper, we give some results on the common fixed point of self-mappings defined on complete $b$-metric spaces. Our results generalize Kannan and Chatterjea fixed point theorems on complete $b$-metric spaces. In particular, we show that two self-mappings satisfying a contraction type inequality have a unique common fixed point. We also give some examples to illustrate the given results.
متن کاملRational Geraghty Contractive Mappings and Fixed Point Theorems in Ordered $b_2$-metric Spaces
In 2014, Zead Mustafa introduced $b_2$-metric spaces, as a generalization of both $2$-metric and $b$-metric spaces. Then new fixed point results for the classes of rational Geraghty contractive mappings of type I,II and III in the setup of $b_2$-metric spaces are investigated. Then, we prove some fixed point theorems under various contractive conditions in partially ordered $b_2$-metric spaces...
متن کاملOn The Bicompletion of Intuitionistic Fuzzy Quasi-Metric Spaces
Based on previous results that study the completion of fuzzy metric spaces, we show that every intuitionistic fuzzy quasi-metric space, using the notion of fuzzy metric space in the sense of Kramosil and Michalek to obtain a generalization to the quasi-metric setting, has a bicompletion which is unique up to isometry.
متن کاملOn two-dimensional Cayley graphs
A subset W of the vertices of a graph G is a resolving set for G when for each pair of distinct vertices u,v in V (G) there exists w in W such that d(u,w)≠d(v,w). The cardinality of a minimum resolving set for G is the metric dimension of G. This concept has applications in many diverse areas including network discovery, robot navigation, image processing, combinatorial search and optimization....
متن کامل